Natural proof - PDFSEARCH.IO - Document Search Engine

Natural proof
Results: 343

#	Item
111	An Introduction to Program Verification with the Coq Proof Assistant NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-04 20:56:12 Mathematical logic Proof theory Dependently typed programming Lambda calculus Logic in computer science Coq Curry–Howard correspondence Natural deduction Dependent type Programming language theory Type theory Mathematics
112	Modal Proofs as Distributed Programs? (Extended Abstract) Limin Jia and David Walker Princeton University 35 Olden St., Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Proof theory Non-classical logic Logic in computer science Semantics Deduction Natural deduction Modal logic Negation Sequent calculus Logic Mathematical logic Mathematics
113	Contents Part I The Basics Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2012-03-10 09:16:28 Complexity classes Circuit complexity Natural proof Switching lemma ACC0 NC P Binary decision diagram Clique Theoretical computer science Computational complexity theory Applied mathematics
114	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:51 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
115	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:56 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
116	Rules and Illusions: A Critical Study of Rips’s The Psychology of Proof PHILIP N. JOHNSON-LAIRD Department of Psychology, Princeton University, Princeton, NJ 08544, U.S.A. philclarity.princeton.edu Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:33:38 Deduction Propositional calculus Logical syntax Logical truth Inference Psychology of reasoning Rule of inference Mental model Natural deduction Logic Science Reasoning
117	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
118	J-Calc: A typed lambda calculus for Intuitionistic Justification Logic Konstantinos Pouliasis Giuseppe Primiero Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 08:49:03 Logical syntax Propositional calculus Philosophical logic Natural deduction Entailment Interpretation Curry–Howard correspondence Formation rule Witness Logic Proof theory Deduction
119	Microsoft Word - An automatic proof reading tool for all languages based on a text repository.doc Add to Reading List Source URL: www.nik.no Language: English - Date: 2010-10-01 04:26:10 Grammar checker Sentence Parsing Word Semantics Linguistics Natural language processing Computational linguistics
120	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction

UPDATE